A note on an axiom-system of atomistic mereology.
نویسندگان
چکیده
منابع مشابه
a study on construction of iranian life tables: the case study of modified brass logit system
چکیده ندارد.
15 صفحه اولA Note on the Gargar Irrigation System
Sasanian’s imperial policy aimed to construct new towns, massive irrigation infrastructures, and land modification bydepopulating rural areas in order to carry out massive agriculture projects particularly in Khuzestan. Shushtar with itsancient relics presents a unique chance to investigate some of these development activities, mainly in terms of irrigation.Several chief irrigation organs have ...
متن کاملAn Axiom System for Incidence Spatial Geometry
Incidence spatial geometry is based on three-sorted structures consisting of points, lines and planes together with three intersort binary relations between points and lines, lines and planes and points and planes. We introduce an equivalent one-sorted geometrical structure, called incidence spatial frame, which is suitable for modal considerations. We are going to prove completeness by SD-Theo...
متن کاملTowards an Axiom System for Default Logic
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore’s Autoepistemic Logic, Konolige’s variant based on moderately grounded expansions, and Reiter’s default logic. Defaults have a uniform representation under all three interpretations in the new logic. Moreover, the logic itself is monotonic, that is, nonmonotonic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1971
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093894225